<?php

if (isset ($_GET["load_level"]))
{
	if (!file_exists ("data/levels/".$_GET["load_level"].".js"))
		exit ('File "levels/'.$_GET["load_level"].'.js'.'" not found!');

	//$buffer["level"] = file_get_contents ("data/js/levels/".$_GET["load_level"].".js");
	$buffer = file_get_contents ("data/levels/".$_GET["load_level"].".js");

	//echo json_encode ($buffer);
	echo str_replace(array ("\r", "\n", "\t"), "", json_encode ($buffer));
}

?>